First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
951	Elementary Logic PHILV1401 Fall[removed]Altschul Hall MW 11:00-12:15 Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-12 11:40:07 Logical syntax Predicate logic Formal languages Outline of logic Formation rule First-order logic Well-formed formula Proposition Index of logic articles Logic Mathematical logic Propositional calculus
952	Description Logic vs. Order-Sorted Feature Logic Hassan A¨ıt-Kaci ILOG, Inc. [removed] Abstract. We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF ) Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Constraint programming Logic programming Model theory Non-classical logic Programming paradigms Constraint logic programming First-order logic Description logic Structure Logic Mathematical logic Mathematics
953	Expressing DL-Lite Ontologies with Controlled English Raffaella Bernardi, Diego Calvanese, Camilo Thorne Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3, Bolzano, Italy {bernardi,calvanes Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Artificial intelligence Description logic Information science First-order logic FO Lambda calculus Function Knowledge representation and reasoning Mathematical logic Logic Mathematics
954	Constructible Lawrence C Paulson September 24, 2003 Contents 1 First-Order Formulas and the Definition of the Class L Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-14 06:49:59 Absoluteness Transitive set Constructible universe Well-formed formula Logical connective FO Function Logic Mathematics Mathematical logic
955	Structural Theory of Science as a Systematic Framework for the Design of DL’s and CD’s for E-Science Hansje Braam Utrecht University, Faculty of Humanities [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Scientific method Philosophy of science Predicate logic Model theory Knowledge representation Ontology Theory Scientific theory First-order logic Science Logic Ethology
956	PHIL V3411/ G4415 • INTRODUCTION TO SYMBOLIC LOGIC • FALL 2009, MW 2:40–3:55pm, SCH 614 Achille Varzi • 713 Philosophy Hall • tel[removed] • email: av72 • url: ~av72 • office hours: T 2:30–4:30pm ➤ GEN Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-22 09:57:47 Classical logic Philosophical logic Model theory First-order logic Quantification Propositional calculus Logic Mathematical logic Predicate logic
957	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
958	PHIL V3411/ G4415 • INTRODUCTION TO SYMBOLIC LOGIC • FALL 2009, MW 2:40–3:55pm, SCH 614 Achille Varzi • 713 Philosophy Hall • tel[removed] • email: av72 • url: ~av72 • office hours: T 2:30–4:30pm ➤ GEN Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-12 12:45:52 Classical logic Philosophical logic Model theory First-order logic Quantification Propositional calculus Logic Mathematical logic Predicate logic
959	Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Cardinal numbers Large cardinals Set theory Axiom of choice Zermelo–Fraenkel set theory Constructible universe First-order logic Mathematical proof Successor cardinal Mathematical logic Mathematics Logic
960	Nonmonotonie default modal logics (Detailed abstract) Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Logic programming Modal logic Philosophical logic Reasoning Default logic Non-monotonic logic Autoepistemic logic First-order logic Inference Logic Mathematical logic Non-classical logic